Developing the Vectorial Glance

developing a pattern based on speech acts and language functions for developing materials for the course “ the study of islamic texts translation”

هدف پژوهش حاضر ارائه ی الگویی بر اساس کنش گفتار و کارکرد زبان برای تدوین مطالب درس "بررسی آثار ترجمه شده ی اسلامی" می باشد. در الگوی جدید، جهت تدوین مطالب بهتر و جذاب تر، بر خلاف کتاب-های موجود، از مدل های سطوح گفتارِ آستین (1962)، گروه بندی عملکردهای گفتارِ سرل (1976) و کارکرد زبانیِ هالیدی (1978) بهره جسته شده است. برای این منظور، 57 آیه ی شریفه، به صورت تصادفی از بخش-های مختلف قرآن انتخاب گردید...

The vectorial λ-calculus

We describe a type system for the linear-algebraic λ-calculus. The type system accounts for the linear-algebraic aspects of this extension of λ-calculus: it is able to statically describe the linear combinations of terms that will be obtained when reducing the programs. This gives rise to an original type theory where types, in the same way as terms, can be superposed into linear combinations. ...

CELL SCIENCE AT A GLANCE The Exocyst at a Glance

The exocyst is an octameric protein complex that is implicated in the tethering of secretory vesicles to the plasma membrane prior to SNARE-mediated fusion. Spatial and temporal control of exocytosis through the exocyst has a crucial role in a number of physiological processes, such as morphogenesis, cell cycle progression, primary ciliogenesis, cell migration and tumor invasion. In this Cell S...

The Programme at Glance

The Vectorial Parameterization of Rotation.∗

The parameterization of rotation is the subject of continuous research and development in many theoretical and applied fields of mechanics, such as rigid body, structural, and multibody dynamics, robotics, spacecraft attitude dynamics, navigation, image processing, and so on. This paper introduces the vectorial parameterization of rotation, a class of parameterization techniques encompassing ma...